* etc/PROBLEMS: Remove more ancient, irrelevant stuff
authorGlenn Morris <rgm@gnu.org>
Thu, 9 Jan 2014 19:42:46 +0000 (14:42 -0500)
committerGlenn Morris <rgm@gnu.org>
Thu, 9 Jan 2014 19:42:46 +0000 (14:42 -0500)
commitdf7b490d0d8d6f05782a75341f7f5e2655fa7e0b
tree00f5570fc2eac8a46a94206c8aad86642aae13b1
parent4a18e0cee207d8ab71ad5d2c95aeb8aa98e3006e
* etc/PROBLEMS: Remove more ancient, irrelevant stuff
etc/PROBLEMS